($\lambda$$T$,$m$,$n$,$f$,$z$. $f$\{$m$..$n$$^{-}$\}) $\in$ $T$:Type$\rightarrow$$m$,$n$:$\mathbb{Z}\rightarrow$(\{$m$..$n$$^{-}$\}$\rightarrow$$T$)$\rightarrow\downarrow$True$\rightarrow$($T$ List)